What size is the 10mm nut that tightens/loosens the battery terminal connectors? I'm stopping by the hardware store tonight and I need to know so I can replace mine with the proper thread size for the matching bolt (the nuts are slightly stripped on both terminals). Thanks all.